mining recorder - German English Dictionary